home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Dr. Windows 3
/
dr win3.zip
/
dr win3
/
MISCELLA
/
TEX2RTF.ZIP
/
TEX2RTF.TEX
/
internals.pl
< prev
next >
Wrap
Text File
|
1993-10-26
|
10KB
|
423 lines
# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate internals original text with physical files.
$key = q/HUGE3/;
$ref_files{$key} = "$dir".q|node62_ct.html|;
$noresave{$key} = "$nosave";
$key = q/Huge2/;
$ref_files{$key} = "$dir".q|node61_ct.html|;
$noresave{$key} = "$nosave";
$key = q/LARGE3/;
$ref_files{$key} = "$dir".q|node72_ct.html|;
$noresave{$key} = "$nosave";
$key = q/LaTeX/;
$ref_files{$key} = "$dir".q|node73_ct.html|;
$noresave{$key} = "$nosave";
$key = q/Large2/;
$ref_files{$key} = "$dir".q|node71_ct.html|;
$noresave{$key} = "$nosave";
$key = q/TeX/;
$ref_files{$key} = "$dir".q|node106_ct.html|;
$noresave{$key} = "$nosave";
$key = q/abstract/;
$ref_files{$key} = "$dir".q|node14_ct.html|;
$noresave{$key} = "$nosave";
$key = q/addcontentsline/;
$ref_files{$key} = "$dir".q|node15_ct.html|;
$noresave{$key} = "$nosave";
$key = q/author/;
$ref_files{$key} = "$dir".q|node16_ct.html|;
$noresave{$key} = "$nosave";
$key = q/backslash/;
$ref_files{$key} = "$dir".q|node17_ct.html|;
$noresave{$key} = "$nosave";
$key = q/bf/;
$ref_files{$key} = "$dir".q|node18_ct.html|;
$noresave{$key} = "$nosave";
$key = q/bibitem/;
$ref_files{$key} = "$dir".q|node19_ct.html|;
$noresave{$key} = "$nosave";
$key = q/bibliography/;
$ref_files{$key} = "$dir".q|node21_ct.html|;
$noresave{$key} = "$nosave";
$key = q/bibliographystyle/;
$ref_files{$key} = "$dir".q|node20_ct.html|;
$noresave{$key} = "$nosave";
$key = q/boxit/;
$ref_files{$key} = "$dir".q|node22_ct.html|;
$noresave{$key} = "$nosave";
$key = q/caption/;
$ref_files{$key} = "$dir".q|node23_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cdots/;
$ref_files{$key} = "$dir".q|node24_ct.html|;
$noresave{$key} = "$nosave";
$key = q/center/;
$ref_files{$key} = "$dir".q|node26_ct.html|;
$noresave{$key} = "$nosave";
$key = q/centerline/;
$ref_files{$key} = "$dir".q|node25_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cextract/;
$ref_files{$key} = "$dir".q|node27_ct.html|;
$noresave{$key} = "$nosave";
$key = q/chapter/;
$ref_files{$key} = "$dir".q|node29_ct.html|;
$noresave{$key} = "$nosave";
$key = q/chaptersX/;
$ref_files{$key} = "$dir".q|node28_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cinsert/;
$ref_files{$key} = "$dir".q|node30_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cite/;
$ref_files{$key} = "$dir".q|node31_ct.html|;
$noresave{$key} = "$nosave";
$key = q/class/;
$ref_files{$key} = "$dir".q|node32_ct.html|;
$noresave{$key} = "$nosave";
$key = q/clipsfunc/;
$ref_files{$key} = "$dir".q|node33_ct.html|;
$noresave{$key} = "$nosave";
$key = q/comment/;
$ref_files{$key} = "$dir".q|node34_ct.html|;
$noresave{$key} = "$nosave";
$key = q/copyright/;
$ref_files{$key} = "$dir".q|node35_ct.html|;
$noresave{$key} = "$nosave";
$key = q/cparam/;
$ref_files{$key} = "$dir".q|node36_ct.html|;
$noresave{$key} = "$nosave";
$key = q/date/;
$ref_files{$key} = "$dir".q|node37_ct.html|;
$noresave{$key} = "$nosave";
$key = q/description/;
$ref_files{$key} = "$dir".q|node38_ct.html|;
$noresave{$key} = "$nosave";
$key = q/document/;
$ref_files{$key} = "$dir".q|node40_ct.html|;
$noresave{$key} = "$nosave";
$key = q/documentstyle/;
$ref_files{$key} = "$dir".q|node39_ct.html|;
$noresave{$key} = "$nosave";
$key = q/em/;
$ref_files{$key} = "$dir".q|node41_ct.html|;
$noresave{$key} = "$nosave";
$key = q/enumerate/;
$ref_files{$key} = "$dir".q|node42_ct.html|;
$noresave{$key} = "$nosave";
$key = q/errors/;
$ref_files{$key} = "$dir".q|node115_ct.html|;
$noresave{$key} = "$nosave";
$key = q/fbox/;
$ref_files{$key} = "$dir".q|node43_ct.html|;
$noresave{$key} = "$nosave";
$key = q/figure/;
$ref_files{$key} = "$dir".q|node44_ct.html|;
$noresave{$key} = "$nosave";
$key = q/flushleft/;
$ref_files{$key} = "$dir".q|node45_ct.html|;
$noresave{$key} = "$nosave";
$key = q/flushright/;
$ref_files{$key} = "$dir".q|node46_ct.html|;
$noresave{$key} = "$nosave";
$key = q/footnote/;
$ref_files{$key} = "$dir".q|node47_ct.html|;
$noresave{$key} = "$nosave";
$key = q/framebox/;
$ref_files{$key} = "$dir".q|node48_ct.html|;
$noresave{$key} = "$nosave";
$key = q/func/;
$ref_files{$key} = "$dir".q|node50_ct.html|;
$noresave{$key} = "$nosave";
$key = q/functionsection/;
$ref_files{$key} = "$dir".q|node49_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helpfontfamily/;
$ref_files{$key} = "$dir".q|node54_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helpfontsize/;
$ref_files{$key} = "$dir".q|node55_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helpignore/;
$ref_files{$key} = "$dir".q|node51_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helpinput/;
$ref_files{$key} = "$dir".q|node53_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helponly/;
$ref_files{$key} = "$dir".q|node52_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helpref/;
$ref_files{$key} = "$dir".q|node56_ct.html|;
$noresave{$key} = "$nosave";
$key = q/helprefX/;
$ref_files{$key} = "$dir".q|node57_ct.html|;
$noresave{$key} = "$nosave";
$key = q/hline/;
$ref_files{$key} = "$dir".q|node58_ct.html|;
$noresave{$key} = "$nosave";
$key = q/hrule/;
$ref_files{$key} = "$dir".q|node59_ct.html|;
$noresave{$key} = "$nosave";
$key = q/huge1/;
$ref_files{$key} = "$dir".q|node60_ct.html|;
$noresave{$key} = "$nosave";
$key = q/image/;
$ref_files{$key} = "$dir".q|node67_ct.html|;
$noresave{$key} = "$nosave";
$key = q/include/;
$ref_files{$key} = "$dir".q|node63_ct.html|;
$noresave{$key} = "$nosave";
$key = q/input/;
$ref_files{$key} = "$dir".q|node64_ct.html|;
$noresave{$key} = "$nosave";
$key = q/it/;
$ref_files{$key} = "$dir".q|node68_ct.html|;
$noresave{$key} = "$nosave";
$key = q/item/;
$ref_files{$key} = "$dir".q|node66_ct.html|;
$noresave{$key} = "$nosave";
$key = q/itemize/;
$ref_files{$key} = "$dir".q|node65_ct.html|;
$noresave{$key} = "$nosave";
$key = q/label/;
$ref_files{$key} = "$dir".q|node69_ct.html|;
$noresave{$key} = "$nosave";
$key = q/large1/;
$ref_files{$key} = "$dir".q|node70_ct.html|;
$noresave{$key} = "$nosave";
$key = q/ldots/;
$ref_files{$key} = "$dir".q|node74_ct.html|;
$noresave{$key} = "$nosave";
$key = q/macronotfound/;
$ref_files{$key} = "$dir".q|node117_ct.html|;
$noresave{$key} = "$nosave";
$key = q/maketitle/;
$ref_files{$key} = "$dir".q|node75_ct.html|;
$noresave{$key} = "$nosave";
$key = q/mbox/;
$ref_files{$key} = "$dir".q|node76_ct.html|;
$noresave{$key} = "$nosave";
$key = q/member/;
$ref_files{$key} = "$dir".q|node78_ct.html|;
$noresave{$key} = "$nosave";
$key = q/membersection/;
$ref_files{$key} = "$dir".q|node77_ct.html|;
$noresave{$key} = "$nosave";
$key = q/newcommand/;
$ref_files{$key} = "$dir".q|node79_ct.html|;
$noresave{$key} = "$nosave";
$key = q/newpage/;
$ref_files{$key} = "$dir".q|node80_ct.html|;
$noresave{$key} = "$nosave";
$key = q/nocite/;
$ref_files{$key} = "$dir".q|node81_ct.html|;
$noresave{$key} = "$nosave";
$key = q/noindent/;
$ref_files{$key} = "$dir".q|node82_ct.html|;
$noresave{$key} = "$nosave";
$key = q/normalsize/;
$ref_files{$key} = "$dir".q|node83_ct.html|;
$noresave{$key} = "$nosave";
$key = q/par/;
$ref_files{$key} = "$dir".q|node87_ct.html|;
$noresave{$key} = "$nosave";
$key = q/param/;
$ref_files{$key} = "$dir".q|node84_ct.html|;
$noresave{$key} = "$nosave";
$key = q/parindent/;
$ref_files{$key} = "$dir".q|node85_ct.html|;
$noresave{$key} = "$nosave";
$key = q/parskip/;
$ref_files{$key} = "$dir".q|node86_ct.html|;
$noresave{$key} = "$nosave";
$key = q/psboxto/;
$ref_files{$key} = "$dir".q|node88_ct.html|;
$noresave{$key} = "$nosave";
$key = q/quotation/;
$ref_files{$key} = "$dir".q|node90_ct.html|;
$noresave{$key} = "$nosave";
$key = q/quote/;
$ref_files{$key} = "$dir".q|node89_ct.html|;
$noresave{$key} = "$nosave";
$key = q/ref/;
$ref_files{$key} = "$dir".q|node91_ct.html|;
$noresave{$key} = "$nosave";
$key = q/rm/;
$ref_files{$key} = "$dir".q|node92_ct.html|;
$noresave{$key} = "$nosave";
$key = q/rtfsp/;
$ref_files{$key} = "$dir".q|node93_ct.html|;
$noresave{$key} = "$nosave";
$key = q/sc/;
$ref_files{$key} = "$dir".q|node94_ct.html|;
$noresave{$key} = "$nosave";
$key = q/section/;
$ref_files{$key} = "$dir".q|node96_ct.html|;
$noresave{$key} = "$nosave";